静态分析通过解析程序文本从而识别出程序语句中可能存在的缺陷和异常之处；静态分析所包含的阶段中，( )的主要工作是找出输入变量和输出变量之间的依赖关系。